Banach fixed-point theorem #incomplete Compare: Brouwer fixed-point theorem References: https://en.wikipedia.org/wiki/Banach_fixed-point_theorem